Wainer, Stanley: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || A short course in ordinal analysis

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Year:

1993

Language:

english

File:

PDF, 2.19 MB

english, 1993

2

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || Fragments of Kripke-Platek set theory with infinity

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Year:

1993

Language:

english

File:

PDF, 921 KB

english, 1993

3

Predicatively unprovable termination of the Ackermannian Goodstein process

Arai, Toshiyasu, FernÃ¡ndez-Duque, David, Wainer, Stanley, Weiermann, Andreas

Journal:

Proceedings of the American Mathematical Society

Year:

2020

File:

PDF, 286 KB

2020

4

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || A simplified version of local predicativity

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Year:

1993

Language:

english

File:

PDF, 1.08 MB

english, 1993

5

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || Provable computable selection functions on abstract structures

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Year:

1993

Language:

english

File:

PDF, 1.25 MB

english, 1993

6

Inductive definitions over a predicative arithmetic

Stanley S. Wainer, Richard S. Williams

Journal:

Annals of Pure and Applied Logic

Year:

2005

Language:

english

File:

PDF, 200 KB

english, 2005

7

Interaction of 18-methoxycoronaridine with nicotinic acetylcholine receptors in different conformational states

Hugo R. Arias, Avraham Rosenberg, Dominik Feuerbach, Katarzyna M. Targowska-Duda, Ryszard Maciejewski, Krzysztof Jozwiak, Ruin Moaddel, Stanley D. Glick, Irving W. Wainer

Journal:

Biochimica et Biophysica Acta (BBA) - Biomembranes

Year:

2010

Language:

english

File:

PDF, 905 KB

english, 2010

8

[Studies in Logic and the Foundations of Mathematics] Generalized Recursion Theory II - Proceedings of the 1977 Oslo Symposium Volume 94 || The 1-Section of a Non-Normal Type - 2 Object

Wainer, Stanley S.

Year:

1978

Language:

english

File:

PDF, 558 KB

english, 1978

9

Interaction of 18-Methoxycoronaridine with Nicotinic Acetylcholine Receptors in Different Conformational States

Shamoun, Anita E., Rosenberg, Avraham, Feuerbach, Dominik, Targowska-Duda, Katarzyna M., Jozwiak, Krzysztof, Moaddel, Ruin, Glick, Stanley D., Wainer, Irving W., Arias, Hugo R.

Journal:

Biophysical Journal

Year:

2011

Language:

english

File:

PDF, 41 KB

english, 2011

10

Accessible Recursive Functions

Stanley S. Wainer

Journal:

Bulletin of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 454 KB

english, 1999

11

Members of countable π10 classes

Douglas Cenzer, Peter Clote, Rick L. Smith, Robert I. Soare, Stanley S. Wainer

Journal:

Annals of Pure and Applied Logic

Year:

1986

Language:

english

File:

PDF, 1.25 MB

english, 1986

12

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || Preface

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Year:

1993

Language:

english

File:

PDF, 68 KB

english, 1993

13

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || Programme of lectures

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Year:

1993

Language:

english

File:

PDF, 67 KB

english, 1993

14

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || Basic proof theory

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Year:

1993

Language:

english

File:

PDF, 875 KB

english, 1993

15

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || Proofs as Programs

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Year:

1993

Language:

english

File:

PDF, 1.28 MB

english, 1993

16

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || Termination orderings and complexity characterisations

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Year:

1993

Language:

english

File:

PDF, 744 KB

english, 1993

17

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || A note on bootstrapping intuitionistic bounded arithmetic

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Year:

1993

Language:

english

File:

PDF, 787 KB

english, 1993

18

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || Logics for termination and correctness of functional programs, II. Logics of strength PRA

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Year:

1993

Language:

english

File:

PDF, 1.01 MB

english, 1993

19

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || Reflecting the semantics of reflected proof

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Year:

1993

Language:

english

File:

PDF, 1.01 MB

english, 1993

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски